The definable tree property for successors of cardinals
نویسندگان
چکیده
منابع مشابه
The definable tree property for successors of cardinals
Strengthening a result of Amir Leshem [7], we prove that the consistency strength of holding GCH together with definable tree property for all successors of regular cardinals is precisely equal to the consistency strength of existence of proper class many Π 1 reflecting cardinals. Moreover it is proved that if κ is a supercompact cardinal and λ > κ is measurable, then there is a generic extensi...
متن کاملThe tree property at successors of singular cardinals
Assuming some large cardinals, a model of ZFC is obtained in which אω+1 carries no Aronszajn trees. It is also shown that if λ is a singular limit of strongly compact cardinals, then λ carries no Aronszajn trees.
متن کاملDefinable Tree Property Can Hold at All Uncountable Regular Cardinals
Starting from a supercompact cardinal and a measurable above it, we construct a model of ZFC in which the definable tree property holds at all uncountable regular cardinals. This answers a question from [1]
متن کاملThe tree property at double successors of singular cardinals of uncountable cofinality
Assuming the existence of a strong cardinal κ and a measurable cardinal above it, we force a generic extension in which κ is a singular strong limit cardinal of any given cofinality, and such that the tree property holds at κ++.
متن کاملThe Tree Property on a Countable Segment of Successors of Singular Cardinals
Starting from the existence of many supercompact cardinals, we construct a model of ZFC + GCH in which the tree property holds at a countable segment of successor of singular cardinals.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2016
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-016-0494-7